Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
141	Submitted to the Journal of Computational Physics (in review O2/98) NOTE: Add to Reading List Source URL: www.ai.mit.edu Language: English - Date: 1998-10-09 12:41:32 Cellular automata Partial differential equations Computational physics Computational fluid dynamics Numerical analysis Cellular automaton Lattice gas automaton Computational electromagnetics Point process Calculus Mathematics Mathematical analysis
142	Symbolic Dynamic Programming for First-order POMDPs Scott Sanner Kristian Kersting NICTA & ANU Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-04-14 03:16:52 Markov processes Stochastic control Mathematical sciences Mathematical optimization Logic programming Partially observable Markov decision process Markov decision process Situation calculus Optimal control Statistics Control theory Dynamic programming
143	Banco de México Documentos de Investigación Banco de México Working Papers N° [removed] Add to Reading List Source URL: www.banxico.org.mx Language: English - Date: 2014-12-19 20:58:34 Stochastic calculus Differential equations Bessel function Symbol Bessel process Continuous function Stochastic differential equation Mathematical analysis Stochastic processes Fourier analysis
144	SESSIONS, FROM TYPES TO PROGRAMMING LANGUAGES Vasco T Vasco Universidade Lisboa Behavioural Types Workshop 19 April 2011 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-05-03 04:15:49 Software engineering Type theory Theoretical computer science Data types Concurrent computing Π-calculus Programming language Actor model Communications protocol Computing Process calculi Computer science
145	CLAUSE[removed]DWELLINGS IN EXISTING SETTLEMENTS Clause[removed]provides a streamlined process for preparing and assessing a planning application and for an applicant to demonstrate that the bushfire risk has been reduce Add to Reading List Source URL: www.dtpli.vic.gov.au Language: English - Date: 2014-10-07 06:30:35 Predicate logic Propositional calculus Planning permission Town and country planning in the United Kingdom Clause Logic programming
146	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: www.erights.org Language: English - Date: 2004-05-18 05:27:32 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
147	Stochastic Calculus and Financial Applications Final Take Home Exam (Steele: Fall[removed]Instructions. You may consult any books or articles that you find useful. If you use a result that is not from our text, attach a co Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2010-12-11 08:08:00 Black–Scholes Wiener process Martingale Hitting time Differential equation Itō diffusion Heat equation Statistics Stochastic processes Brownian motion
148	Amomalica, Vol. 25, No. 4, pp[removed], 1989 Pergamon Press ptc. Printed in Great Britain. International Federation of Automatic Control B o o k Reviews Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 14:05:40 Stochastic differential equations Differential equations Estimation theory Nonlinear filter Filtering problem Stochastic calculus Partial differential equation Stochastic Wiener process Statistics Stochastic processes Control theory
149	Stochastic Calculus and Financial Applications Final Take Home Exam (Steele: Fall[removed]Instructions. You may consult any books or articles that you find useful. If you use a result that is not from our text, attach a co Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2013-12-11 16:06:34 Martingale Brownian motion Quadratic variation Feynman–Kac formula Stopping time Risk-neutral measure Local martingale Wiener process Itō diffusion Statistics Stochastic processes Black–Scholes
150	A SIMPLE PROOF OF A RESULT OF A. NOVIKOV arXiv:math.PR[removed]v1 1 Jul 2002 N.V. KRYLOV Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2013-12-08 15:36:48 Wiener process Asymptotic analysis Measure theory Mathematical analysis Calculus Continuous function